Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 751 results
Sort by: relevance publication year
Showing results for ISSN matching 1529-3785

Robust Vacuity for Branching Temporal Logic

JOURNAL ARTICLE published January 2012 in ACM Transactions on Computational Logic

Authors: Arie Gurfinkel | Marsha Chechik

https://doi.org/10.1145/2071368.2071369 Actions

Mechanizing the metatheory of LF

JOURNAL ARTICLE published January 2011 in ACM Transactions on Computational Logic

Research funded by Engineering and Physical Sciences Research Council (GR/S63205/01)

Authors: Christian Urban | James Cheney | Stefan Berghofer

https://doi.org/10.1145/1877714.1877721 Actions

JOURNAL ISSUE published 1 January 2010 in ACM Transactions on Computational Logic

https://doi.org/10.1145/1656242 Actions

JOURNAL ISSUE published 1 May 2011 in ACM Transactions on Computational Logic

https://doi.org/10.1145/1929954 Actions

JOURNAL ISSUE published 1 October 2012 in ACM Transactions on Computational Logic

https://doi.org/10.1145/2362355 Actions

Constraint Propagation for First-Order Logic and Inductive Definitions

JOURNAL ARTICLE published August 2013 in ACM Transactions on Computational Logic

Research funded by Fonds Wetenschappelijk Onderzoek (G.0357.06, G.0489.10)

Authors: Johan Wittocx | Marc Denecker | Maurice Bruynooghe

https://doi.org/10.1145/2499937.2499938 Actions

JOURNAL ISSUE published 15 February 2018 in ACM Transactions on Computational Logic

https://doi.org/10.1145/3176362 Actions

JOURNAL ISSUE published 1 April 2006 in ACM Transactions on Computational Logic

https://doi.org/10.1145/1131313 Actions

JOURNAL ISSUE published 7 September 2019 in ACM Transactions on Computational Logic

https://doi.org/10.1145/3347091 Actions

An Epistemic Strategy Logic

JOURNAL ARTICLE published 31 October 2018 in ACM Transactions on Computational Logic

Authors: Xiaowei Huang | Ron Van Der Meyden

https://doi.org/10.1145/3233769 Actions

Complexity of propositional nested circumscription and nested abnormality theories

JOURNAL ARTICLE published April 2005 in ACM Transactions on Computational Logic

Authors: Marco Cadoli | Thomas Eiter | Georg Gottlob

https://doi.org/10.1145/1055686.1055688 Actions

The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games

JOURNAL ARTICLE published 31 October 2022 in ACM Transactions on Computational Logic

Research funded by Swedish Research Council (2015-01774)

Authors: Sebastian Enqvist | Valentin Goranko

https://doi.org/10.1145/3517128 Actions

On Monotonic Determinacy and Rewritability for Recursive Queries and Views

JOURNAL ARTICLE published 30 April 2023 in ACM Transactions on Computational Logic

Research funded by Engineering and Physical Sciences Research Council (EP/M005852/1, EP/N014359/1, P/L012138/1) | National Science Centre (2016/23/B/ST6/01438) | Fondecyt (11200956) | National Center for Artificial Intelligence CENIA (FB210017)

Authors: Michael Benedikt | Stanislav Kikot | Piotr Ostropolski-Nalewaja | Miguel Romero

https://doi.org/10.1145/3572836 Actions

Revisiting quantification in autoepistemic logic

JOURNAL ARTICLE published October 2002 in ACM Transactions on Computational Logic

Authors: Michael Kaminski | Guy Rey

https://doi.org/10.1145/566385.566388 Actions

Computational properties of metaquerying problems

JOURNAL ARTICLE published April 2003 in ACM Transactions on Computational Logic

Authors: Fabrizio Angiulli | Rachel Ben-Eliyahu-Zohary | Giovambattista Ianni | Luigi Palopoli

https://doi.org/10.1145/635499.635501 Actions

Editorial

JOURNAL ARTICLE published October 2001 in ACM Transactions on Computational Logic

Authors: Krzysztof R. Apt | Antonis C. Kakas | Fariba Sadri

https://doi.org/10.1145/383779.383823 Actions

Nondeterministic Phase Semantics and the Undecidability of Boolean BI

JOURNAL ARTICLE published February 2013 in ACM Transactions on Computational Logic

Research funded by Agence Nationale de la Recherche (ANR-11-BS02-011)

Authors: Dominique Larchey-Wendling | Didier Galmiche

https://doi.org/10.1145/2422085.2422091 Actions

The Complexity of Decomposing Modal and First-Order Theories

JOURNAL ARTICLE published March 2015 in ACM Transactions on Computational Logic

Authors: Stefan Göller | Jean-Christoph Jung | Markus Lohrey

https://doi.org/10.1145/2699918 Actions

PSPACE bounds for rank-1 modal logics

JOURNAL ARTICLE published February 2009 in ACM Transactions on Computational Logic

Research funded by Deutsche Forschungsgemeinschaft (HasCASL (KR 1191/7-2))

Authors: LUTZ Schröder | Dirk Pattinson

https://doi.org/10.1145/1462179.1462185 Actions

First-order conditional logic for default reasoning revisited

JOURNAL ARTICLE published October 2000 in ACM Transactions on Computational Logic

Authors: Nir Friedman | Joseph Y. Halpern | Daphne Koller

https://doi.org/10.1145/359496.359500 Actions
Feedback: support@crossref.org